121. Artificial intelligence :
Author: edited by Sergei O. Kuznetsov, Gennady S. Osipov, Vadim L. Stefanuk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Software Engineering.,Artificial intelligence.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.
Classification :
Q334
122. Artificial intelligence methods in intelligent algorithms :
Author: editor, Radek Silhavy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Software engineering, Congresses.,Artificial intelligence.,COMPUTERS-- Software Development & Engineering-- General.,Software engineering.
Classification :
QA76
.
758
123. Automated and algorithmic debugging :
Author: Peter A Fritzson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
124. Automated deduction in geometr
Author: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
Classification :
QA448
.
D38
,
I58
2011
125. Automated technology for verification and analysis
Author: Supratik Chakraborty, Madhavan Mukund (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2012eb
126. Automated technology for verification and analysis :
Author: Dang Van Hung, Mizuhito Ogawa (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2013
127. Automated technology for verification and analysis
Author: / Kedar S. Namjoshi ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving--Congresses
Classification :
QA
,
76
.
9
,.
A96
,
A82
,
2006
128. Automated technology for verification and analysis
Author: Zhiming Liu, Anders P. Ravn (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2009
129. Automated technology for verification and analysis :
Author: Shuvendu K. Lahiri, Chao Wang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
A96
130. Automated technology for verification and analysis :
Author: Tevfik Bultan, Pao-Ann Hsiung (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2011
131. Autonomic and trusted computin
Author: / Chunming Rong ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Autonomic computing--Congresses,Computer security--Congresses,Computer networks--Security measures--Congresses
133. Balancing agility and formalism in software engineerin
Author: / Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Software engineering--Congresses,Computer software--Development--Congresses
134. Bidirectional transformations :
Author: Jeremy Gibbons, Perdita Stevens (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
Classification :
QA601
135. Big data, cloud computing, and data science engineering
Author: Roger Lee, editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Big data,Congresses ، Cloud computing,Congresses ، Software engineering
Classification :
QA
76
.
9
.
B45B533
136. Bioinspired models of network, information, and computing system
Author: / BIONETICS 2009, Avignon, France, December 9 - 11, 2009. Eitan Altman, Iacopo Carrera, Rachid El-Azouzi, Emma Hart, Yezekael Hayel (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Network topology, swd,Autonomic computing, swd,Biocybernetics, swd,Delay Tolerant Network, swd,Software system, swd,Biological model, swd,Avignon <2009>, swd,Congress, swd,Bionics, Congresses,Biologically-inspired computing, Congresses,Computer science, Congresses,Computer networks, Congresses,Information technology, Congresses
137. Building the e-World ecosystem :
Author: Tomas Skersys ... [et al.] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Electronic commerce, Congresses.,Information technology, Congresses.,Internet in public administration, Congresses.,World Wide Web, Congresses.
Classification :
TK5105
.
5
.
I35
2011
138. COTS-based software systems : First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002 : proceedings
Author: John Dean, Andree Gravel )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software,Congresses ، Software engineering
Classification :
QA
76
.
L28
Vol
.
2255
139. COTS-based software systems :second international conference, ICCBSS 2003, Ottawa, Ont., February 10-13, 2003 : proceedings
Author: Hakan Erdogmus, Tao Weng )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software,Congresses ، Software engineering
Classification :
QA
76
.
L28
Vol
.
2580
140. COTS-based software systems : 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005 : proceedings
Author: Xavier Franch, Dan Port )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software,Congresses ، Software engineering
Classification :
QA
76
.
L28
Vol
.
3412
